Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
131	c:umente und Einstellungenielktop thesis2FALA_PM_i10a0_01b0.eps Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:01:00 Control theory Learning automata Machine learning Learning Computational statistics Reinforcement learning Q-learning Mathematical optimization Nash equilibrium Game theory Artificial intelligence Markov models
132	Universit¨at des Saarlandes Naturwissenschaftlich-Technische Fakult¨at 1 Fachrichtung Informatik Bachelor-Studiengang Informatik Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-29 06:47:38 Applied mathematics Tree automaton Finite-state machine Alternating finite automaton Powerset construction Formal language Muller automaton Automata theory Theoretical computer science Computer science
133	12 Informed learners T Understanding is compression, comprehension is compression! Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:04 Computer science Software engineering Finite-state machine GOLD Computing Automata theory Models of computation Deterministic finite automaton
134	International Journal of Foundations of Computer Science c World Scientific Publishing Company Semi-Automatic Distributed Synthesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2006-11-06 14:37:29 Models of computation Automata theory Finite-state machine
135	Hang Zhou Í 45 rue d’UlmParis Add to Reading List Source URL: www.normalesup.org Language: English - Date: 2015-04-17 13:00:26 Écoles Normales Supérieures Theoretical computer science École Normale Supérieure Mathematics Academia Grandes écoles Automata theory International Colloquium on Automata Languages and Programming
136	Decision Procedures for CTL∗ Oliver Friedmann and Markus Latte Dept. of Computer Science, University of Munich, Germany Abstract. We give an overview over three serious attempts to devise an eﬀective decision method Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:07 Mathematics CTL* Method of analytic tableaux Formal language Model checking Temporal logic Finite-state machine Tree automaton Powerset construction Automata theory Theoretical computer science Applied mathematics
137	A Decision Procedure for CTL∗ Based on Tableaux and Automata Oliver Friedmann1 , Markus Latte1 , and Martin Lange2 1 2 Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2012-02-10 07:43:08 Method of analytic tableaux Theoretical computer science Applied mathematics Ω-automaton Formal language Automata theory Mathematics Automated theorem proving
138	5 Representing distributions over strings with automata and grammars T Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2010-07-20 08:11:02 Computer science Applied mathematics Nondeterministic finite automaton Markov chain Probabilistic automaton Deterministic finite automaton Finite-state machine Automata theory Models of computation Theoretical computer science
139	A Comparative Study of Multi-agent Reinforcement Learning Dynamics Daan Bloembergen Michael Kaisers Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:21 Artificial intelligence Reinforcement learning Learning automata Machine learning Q-learning Game theory Evolutionary game theory Reinforcement Replicator equation Evolutionary biology Evolutionary dynamics Science
140	Distributed Synthesis for Alternating-Time Logics⋆ Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:36:18 Tree automaton Finite-state machine Automata theory Theoretical computer science Computer science

UPDATE